Functors and Comparators:  A Summary